Roberto Amadio : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (69)
Les plus populaires
Liste
- Liste
- Tableau

1

Subtyping recursive types

Amadio, Roberto M., Cardelli, Luca

Journal:

ACM Transactions on Programming Languages and Systems

Année:

1993

Langue:

english

Fichier:

PDF, 3.13 MB

english, 1993

2

The Geological Characterization of Landscape in Major TV Series: A Suggested Approach to Involve the Public in the Geological Heritage Promotion

Lugeri, Francesca, Farabollini, Piero, Greco, Roberto, Amadio, Vittorio

Journal:

Année:

2015

Langue:

english

Fichier:

PDF, 5.00 MB

english, 2015

3

Sensory trick phenomenon in cervical dystonia: a functional MRI study

Sarasso, Elisabetta, Agosta, Federica, Piramide, Noemi, Bianchi, Francesca, Butera, Carla, Gatti, Roberto, Amadio, Stefano, Del Carro, Ubaldo, Filippi, Massimo

Journal:

Journal of Neurology

Année:

2020

Fichier:

PDF, 1.35 MB

2020

4

[Lecture Notes in Computer Science] CONCUR 2003 - Concurrency Theory Volume 2761 ||

Amadio, Roberto, Lugiez, Denis

Année:

2003

Langue:

english

Fichier:

PDF, 4.33 MB

english, 2003

5

Neuromuscular Activity During Bench Press Exercise Performed With and Without the Preexhaustion Method

Brennecke, Allan, Guimarães, Thiago M, Leone, Ricardo, Cadarci, Mauro, Mochizuki, Luiz, Simão, Roberto, Amadio, Alberto Carlos, Serrão, Júlio C

Journal:

The Journal of Strength and Conditioning Research

Année:

2009

Langue:

english

Fichier:

PDF, 621 KB

english, 2009

6

Reactive Concurrent Programming Revisited

Roberto M. Amadio, Gérard Boudol, Frédéric Boussinot, Ilaria Castellani

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2006

Langue:

english

Fichier:

PDF, 261 KB

english, 2006

7

Preface

Roberto Amadio, Iain Phillips

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2007

Langue:

english

Fichier:

PDF, 108 KB

english, 2007

8

Preface

Roberto Amadio, Thomas Hildebrandt

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2008

Langue:

english

Fichier:

PDF, 70 KB

english, 2008

9

Feasible Reactivity for Synchronous Cooperative Threads

Roberto M. Amadio, Frédéric Dabrowski

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2006

Langue:

english

Fichier:

PDF, 278 KB

english, 2006

10

On the symbolic reduction of processes with cryptographic functions

Roberto M. Amadio, Denis Lugiez, Vincent Vanackère

Journal:

Theoretical Computer Science

Année:

2003

Langue:

english

Fichier:

PDF, 395 KB

english, 2003

11

On bisimulations for the asynchronous π-calculus

Roberto M. Amadio, Ilaria Castellani, Davide Sangiorgi

Journal:

Theoretical Computer Science

Année:

1998

Langue:

english

Fichier:

PDF, 2.20 MB

english, 1998

12

On modelling mobility

Roberto M. Amadio

Journal:

Theoretical Computer Science

Année:

2000

Langue:

english

Fichier:

PDF, 206 KB

english, 2000

13

On the Symbolic Reduction of Processes with Cryptographic Functions

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2003

Langue:

english

Fichier:

PDF, 124 KB

english, 2003

14

Role of galectin-3 as a receptor for advanced glycosylation end products

Pricci, Flavia, Leto, Gaetano, Amadio, Lorena, Iacobini, Carla, Romeo, Giulio, Cordone, Samantha, Gradini, Roberto, Barsotti, Paola, Liu, Fu-Tong, Di Mario, Umberto, Pugliese, Giuseppe

Journal:

Kidney International

Année:

2000

Langue:

english

Fichier:

PDF, 194 KB

english, 2000

15

Central nervous system metastases from castration-resistant prostate cancer in the docetaxel era

Orazio Caffo, Angela Gernone, Cinzia Ortega, Teodoro Sava, Giacomo Cartenì, Gaetano Facchini, Giovanni Lo Re, Placido Amadio, Roberto Bortolus, Vincenzo Pagliarulo, Veronica Prati, Antonello Veccia, E

Journal:

Journal of Neuro-Oncology

Année:

2012

Langue:

english

Fichier:

PDF, 190 KB

english, 2012

16

Landscapes and Wine Production Areas: A Geomorphological Heritage

Francesca Romana Lugeri, Vittorio Amadio, Roberto Bagnaia, Alberto Cardillo, Nicola Lugeri

Journal:

Année:

2011

Langue:

english

Fichier:

PDF, 1.60 MB

english, 2011

17

On Convergence-sensitive Bisimulation and the Embedding of CCS in Timed CCS

Roberto M. Amadio

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2009

Langue:

english

Fichier:

PDF, 322 KB

english, 2009

18

Resource control for synchronous cooperative threads

Roberto M. Amadio, Silvano Dal Zilio

Journal:

Theoretical Computer Science

Année:

2006

Langue:

english

Fichier:

PDF, 365 KB

english, 2006

19

On the decidability of fragments of the asynchronous π-calculus

Roberto M. Amadio, Charles Meyssonnier

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2002

Langue:

english

Fichier:

PDF, 323 KB

english, 2002

20

Modelling IP Mobility

Roberto M. Amadio, Sanjiva Prasad

Journal:

Formal Methods in System Design

Année:

2000

Langue:

english

Fichier:

PDF, 364 KB

english, 2000

21

Isolated systolic hypertension in the elderly: Results of the camerano study on hypertension

Roberto Antonicelli, Rosaria Gesuita, Loredana Amadio, Enrico Paciaroni

Journal:

International Journal of Angiology

Année:

1993

Langue:

english

Fichier:

PDF, 259 KB

english, 1993

22

Left ventricular diastolic abnormalities in diabetes mellitus I in relation to cardiovascular autonomic neuropathy and retinopathy

Claudio Gambini, Roberto Antonicelli, Liana Spazzafumo, Amadio Loredana, Paciaroni Enrico

Journal:

International Journal of Angiology

Année:

1993

Langue:

english

Fichier:

PDF, 358 KB

english, 1993

23

Recursion over realizability structures

Roberto M. Amadio

Journal:

Information and Computation

Année:

1991

Langue:

english

Fichier:

PDF, 1.69 MB

english, 1991

24

A synchronous π-calculus

Roberto M. Amadio

Journal:

Information and Computation

Année:

2007

Langue:

english

Fichier:

PDF, 240 KB

english, 2007

25

Preface

Roberto M. Amadio, Giuseppe Castagna, Andrea Asperti

Journal:

Information and Computation

Année:

2009

Langue:

english

Fichier:

PDF, 69 KB

english, 2009

26

Guest editor’s introduction: Special issue on Modelling and Verification of Cryptographic Protocols

Roberto M. Amadio

Journal:

The Journal of Logic and Algebraic Programming

Année:

2005

Langue:

english

Fichier:

PDF, 123 KB

english, 2005

27

The SL synchronous language, revisited

Roberto M. Amadio

Journal:

The Journal of Logic and Algebraic Programming

Année:

2007

Langue:

english

Fichier:

PDF, 358 KB

english, 2007

28

Post cardiac surgery diaphragmatic spasm successfully treated with gabapentin

Roberto Spoladore, Dina Garroni, Gabriele Fragasso, Altin Palloshi, Stefano Amadio, Chiara Montano, Angelo Corti, Alberto Margonato

Journal:

International Journal of Cardiology

Année:

2006

Langue:

english

Fichier:

PDF, 70 KB

english, 2006

29

Effects of replica running shoes upon external forces and muscle activity during running

Azevedo, Ana Paula Da Silva, Brandina, Kátia, Bianco, Roberto, Oliveira, Vitor Henrique De, Souza, Juliana Roque De, Mezencio, Bruno, Amadio, Alberto Carlos, Serrão, Júlio Cerca

Journal:

Journal of Sports Sciences

Année:

2012

Langue:

english

Fichier:

PDF, 252 KB

english, 2012

30

Epidemiology of Tuberculosis and the Rise of XDR-TB

Confalonieri, Marco, Cifaldi, Rossella, Longo, Cinzia, Amadio, Giulia, Santagiuliana, Mario, Maurel, Cristina, Jevnikar, Mitja, Luzzati, Roberto

Journal:

Current Treatment Options in Infectious Diseases

Année:

2014

Langue:

english

Fichier:

PDF, 453 KB

english, 2014

31

[Lecture Notes in Computer Science] Foundations of Software Science and Computational Structures Volume 4962 || The Common Fragment of ACTL and LTL

Amadio, Roberto

Année:

2008

Langue:

english

Fichier:

PDF, 211 KB

english, 2008

32

[Lecture Notes in Computer Science] CONCUR 2003 - Concurrency Theory Volume 2761 || Quantitative Relations and Approximate Process Equivalences

Amadio, Roberto, Lugiez, Denis

Année:

2003

Langue:

english

Fichier:

PDF, 212 KB

english, 2003

33

[Lecture Notes in Computer Science] CONCUR 2003 - Concurrency Theory Volume 2761 || Quantitative Verification and Control via the Mu-Calculus

Amadio, Roberto, Lugiez, Denis

Année:

2003

Langue:

english

Fichier:

PDF, 316 KB

english, 2003

34

[ACM Press the 9th ACM SIGPLAN international conference - Wroclaw, Poland (2007.07.14-2007.07.16)] Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '07 - Feasible reactivity in a synchronous Π-calculus

Amadio, Roberto M., Dabrowski, Frédéric

Année:

2007

Langue:

english

Fichier:

PDF, 287 KB

english, 2007

35

[ACM Press the 18th ACM SIGPLAN-SIGACT symposium - Orlando, Florida, United States (1991.01.21-1991.01.23)] Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '91 - Subtyping recursive types

Amadio, Roberto M., Cardelli, Luca

Année:

1991

Langue:

english

Fichier:

PDF, 1.45 MB

english, 1991

36

The receptive distributed Π-calculus

Amadio, Roberto M., Boudol, Gérard, Lhoussaine, Cédric

Journal:

ACM Transactions on Programming Languages and Systems

Année:

2003

Langue:

english

Fichier:

PDF, 305 KB

english, 2003

37

[Lecture Notes in Computer Science] CONCUR 2003 - Concurrency Theory Volume 2761 || Input/Output Automata: Basic, Timed, Hybrid, Probabilistic, Dynamic,...

Amadio, Roberto, Lugiez, Denis

Année:

2003

Langue:

english

Fichier:

PDF, 46 KB

english, 2003

38

[Lecture Notes in Computer Science] CONCUR 2003 - Concurrency Theory Volume 2761 || Bundle Event Structures and CCSP

Amadio, Roberto, Lugiez, Denis

Année:

2003

Langue:

english

Fichier:

PDF, 235 KB

english, 2003

39

High-Temperature Batch and Continuous-Flow Transesterification of Alkyl and Enol Esters with Glycerol and its Acetal Derivatives

Calmanti, Roberto, Galvan, Manuele, Amadio, Emanuele, Perosa, Alvise, Selva, Maurizio

Journal:

ACS Sustainable Chemistry & Engineering

Année:

2018

Langue:

english

Fichier:

PDF, 952 KB

english, 2018

40

Unconventional Approach for Prevention of Environmental and Related Social Risks: A Geoethic Mission

Lugeri, Francesca, Farabollini, Piero, Amadio, Vittorio, Greco, Roberto

Journal:

Année:

2018

Langue:

english

Fichier:

PDF, 3.66 MB

english, 2018

41

Desenvolvimento de um método de familiarização individualizado para saltos verticais

Claudino, João Gustavo, Mezêncio, Bruno, Soncin, Rafael, Ferreira, Jacielle Carolina, Valadão, Pedro Frederico, Takao, Pollyana Pereira, Bianco, Roberto, Roschel, Hamilton, Amadio, Alberto Carlos, Ser

Journal:

Revista Brasileira de Medicina do Esporte

Année:

2013

Langue:

english

Fichier:

PDF, 166 KB

english, 2013

42

[Lecture Notes in Computer Science] CONCUR 2003 - Concurrency Theory Volume 2761 || Modeling Consensus in a Process Calculus

Amadio, Roberto, Lugiez, Denis

Année:

2003

Langue:

english

Fichier:

PDF, 294 KB

english, 2003

43

Comparação das variáveis eletromiográficas e cinemáticas entre uma corrida do "triathlon" e uma corrida prolongada

Fraga, Carina Helena Wasem, Bianco, Roberto, Serrão, Júlio Cerca, Souza, Pedro Ernesto Sales de, Amadio, Alberto Carlos, Guimarães, Antônio Carlos Stringhini, Vaz, Marco Aurélio

Journal:

Revista Brasileira de Educação Física e Esporte

Année:

2013

Fichier:

PDF, 235 KB

2013

44

Comparação das variáveis eletromiográficas e cinemáticas entre uma corrida do "triathlon" e uma corrida prolongada

Fraga, Carina Helena Wasem, Bianco, Roberto, Serrão, Júlio Cerca, Souza, Pedro Ernesto Sales de, Amadio, Alberto Carlos, Guimarães, Antônio Carlos Stringhini, Vaz, Marco Aurélio

Journal:

Revista Brasileira de Educação Física e Esporte

Année:

2013

Fichier:

PDF, 235 KB

2013

45

Reaction of Glycerol with Trimethyl Orthoformate: Towards the Synthesis of New Glycerol Derivatives

Calmanti, Roberto, Amadio, Emanuele, Perosa, Alvise, Selva, Maurizio

Journal:

Année:

2019

Fichier:

PDF, 1.91 MB

2019

46

[Lecture Notes in Computer Science] CONCUR 2003 - Concurrency Theory Volume 2761 || Model Checking a Path

Amadio, Roberto, Lugiez, Denis

Année:

2003

Langue:

english

Fichier:

PDF, 241 KB

english, 2003

47

Domains and Lambda-Calculi || Syntactic theory of the λ-calculus

Amadio, Roberto M., Curien, Pierre-Louis

Année:

1998

Langue:

english

Fichier:

PDF, 989 KB

english, 1998

48

Domains and Lambda-Calculi || CCC's of algebraic dcpo's

Amadio, Roberto M., Curien, Pierre-Louis

Année:

1998

Langue:

english

Fichier:

PDF, 981 KB

english, 1998

49

Domains and Lambda-Calculi || Summary of recursion theory

Amadio, Roberto M., Curien, Pierre-Louis

Année:

1998

Langue:

english

Fichier:

PDF, 257 KB

english, 1998

50

Domains and Lambda-Calculi || Values and computations

Amadio, Roberto M., Curien, Pierre-Louis

Année:

1998

Langue:

english

Fichier:

PDF, 1.47 MB

english, 1998